Debugging Tools for Concurrent Logic Programming
نویسندگان
چکیده
منابع مشابه
Rational Logic Programming Debugging
Information about Prolog data term's dependencies on derivation goals can be used for improved debugging, whether in the wrong solution or the missing solution type of faulty program behaviour. A debugger for full Prolog (itself written in Prolog) has been developed which automates the reasoning ability required to pinpoint errors, resorting to the user only to ask about the intended program se...
متن کاملA Logic for Concurrent Programming
The UNITY-logic, a fragment of linear temporal logic, was introduced in 5]. In this paper, we describe several recent modiications to this logic. In particular, the operator co replaces unless, for expressing safety properties and, transient predicates form the basis for the progress properties. Our experience suggests that these modiications simplify both the theory and practice of this logic....
متن کاملDeclarative Debugging in Constraint Logic Programming
This paper is motivated by the declarative insuuciency diagnosis of constraint logic programs, but focuses only on theoretical viewpoints. Many techniques have been developed for logic programming but cannot be merely adapted to constraint logic programming. Constraint logic program semantics is redeened in terms of proof trees using a cover relation. Proof trees give an intrinsic deenition to ...
متن کاملFrom Concurrent Logic Programming to Concurrent Constraint Programming
The endeavor to extend logic programming to a language suitable for concurrent systems has stimulated in the last decade an intensive research, resulting in a large variety of proposals. A common feature of the various approaches is the attempt to deene mechanisms for concurrency within the logical paradigm, the driving ideal being the balance between expressiveness and declarative reading. In ...
متن کاملA Logic for Concurrent Programming: Safety
The UNITY-logic is a fragment of linear temporal logic. It was designed to specify safety and and progress properties of reactive systems. Experience gained in applying this logic in practice has led us to modify some of its operators. In particular, we had adopted unless as the primary operator for expressing safety properties for many years. We suggest a new operator, co, to take its place. O...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1992
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/35.2.157